Antirealism and the conditional fallacy : the semantic approach

Peer reviewedPostprin

Études de cas et benchmarks pour la modélisation des tâches

International audienceLes modèles de tâches occupent une place croissante en conception centrée utilisateur car ils permettent de représenter de façon détaillée les activités que les opérateurs doivent mettre en oeuvre pour atteindre leurs buts. Ces concepts étant de nos jours matures, la question de la comparaison des approches, de leur enseignement et de leur diffusion dans le tissu industriel correspond aux activités du groupe de travail modèles de tâches de l'AFIHM. http://gtmdt.afihm.or

Compte rendu de l'atelier D : Questions transversales et outils pour la recherche

International audienceCe dernier atelier visait à mettre en débat, de manière transversale aux trois autres, la manière dont les uns et les autres se saisissent de la notion de justice, les conséquences pour nos différents métiers et les besoins de recherche identifiés. L'atelier avait en particulier pour intention et pour ambition de revenir sur les tensions liées à l'interdisciplinarité et au caractère impliqué des recherches menées au sein du Pcs

Flexibility in Ceteris Paribus Reasoning

Ceteris Paribus clauses in reasoning are used to allow for defeaters of norms, rules or laws, such as in von Wright’s example “I prefer my raincoat over my umbrella, everything else being equal”. In earlier work, a logical analysis is offered in which sets of formulas Γ, embedded in modal operators, provide necessary and sufficient conditions for things to be equal in ceteris paribus clauses. For most laws, the set of things allowed to vary is small, often finite, and so Γ is typically infinite. Yet the axiomatisation they provide is restricted to the special and atypical case in which Γ is finite. We address this problem by being more flexible about ceteris paribus conditions, in two ways. The first is to offer an alternative, slightly more general semantics, in which the set of formulas only give necessary but not (necessarily) sufficient conditions. This permits a simple axiomatisation

Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development

10p.International audienceAlthough formal methods are increasingly used by researchers in HCI, their usage in actual interactive developments has not been put in practice. In this article, we describe our experience with a specific formal method -the B method- from two viewpoints. On the one hand, we demonstrate how it is possible to use formal methods on real development, from specification to actual code. Our case study concerns a real-time functional core. Doing so, we notice that some HCI concepts, such as architecture models, may have to be adapted or recreated. On the other hand, we show how it is possible to make formal methods easier to use by the way of a complete integration into HCI tools. We conclude in eliciting the lessons learned from this experience

Stochastic power generation

International audienceOur path towards decarbonisation involves the large-scale use of renewable sources - the most prominent contributions being from wind and solar, followed by biomass - to gradually replace fossil fuels for energy production, mainly in the form of heat and electricity. By June 2012, cumulative installed wind power capacity worldwide had reached 254 GW and was still increasing rapidly gives an extensive introduction to various forms of renewable energy sources among our potential options for the future ..

Taking a Razor to Dark Matter Parameter Space at the LHC

Dark matter (DM) has been searched for at colliders in a largely model independent fashion by looking for an excess number of events involving a single jet, or photon, and missing energy. We investigate the possibility of looking for excesses in more inclusive jet channels. Events with multiple jets contain more information and thus more handles to increase the signal to background ratio. In particular, we adapt the recent CMS "razor" analysis from a search for supersymmetry to a search for DM. We consider simplified models where DM is a Dirac fermion that couples to the quarks of the Standard Model (SM) through exchange of vector or axial-vector mediators or to gluons through scalar exchange. We consider both light and heavy (leading to effective contact interactions) mediators. Since the razor analysis requires multiple jets in the final state, the data set is complementary to that used for the monojet search and thus the bounds can be combined.Comment: 25 pages, 10 figures; v2 published version; v3 removes duplication of manuscript in pd